Concurrent METATEM Processes – A Language for Distributed AI
نویسندگان
چکیده
In this paper, we introduce Concurrent METATEM Processes, a high-level language for modeling distributedand concurrent systems. This language represents an operational model for a variety of METATEM, which is a framework for executable temporal logics. We argue that the combination of executable temporal logic, meta-level capabilities, and concurrent operational model make the language suitable for use in the design and modeling of both reactive and distributed AI systems.
منابع مشابه
Specifying and Verifying Distributed Intelligent Systems
This paper describes first steps towards the formal specification and verification of Distributed Artificial Intelligence (DAI) systems, through the use of temporal belief logics. The paper first describes Concurrent METATEM, a programming language for DAI, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifyi...
متن کاملSpecifying and Executing Protocols for Cooperative Action
The purpose of this paper is twofold: (i) to illustrate and re-emphasize the use of CONCURRENT METATEM, a programming language based on executable temporal logic, as a viable framework in which to develop Distributed Artificial Intelligence (DAI) applications; and (ii) to present a specific example of a cooperative protocol, give an outline of its implementation in CONCURRENT METATEM, and show ...
متن کاملExecutable Temporal Logic for Distributed A.I
This paper describes Concurrent METATEM, a programming language based on temporal logic, and applies it to the study of Distributed Artificial Intelligence (DAI). A Concurrent METATEM system consists of a number of asynchronously executing objects, which are able to communicate through broadcast message-passing. Each individual object directly executes a specification of its desired behaviour. ...
متن کاملSpecifying and Verifying Distributed Intelligence Systems
This paper describes rst steps towards the formal speciica-tion and veriication of Distributed Artiicial Intelligence (DAI) systems, through the use of temporal belief logics. The paper rst describes Concurrent MetateM, a programming language for DAI, and then develops a logic that may be used to reason about Concurrent MetateM systems. The utility of this logic for specifying and verifying Con...
متن کاملConcurrent METATEM - A Language for Modelling Reactive Systems
In this paper, a language based on the notion of concurrent, communicating objects is presented. Each object executes a specification given in temporal logic and communicates with other objects using asynchronousbroadcast message-passing. In contrast to the notions of predicates as processes and stream parallelism seen in concurrent logic languages, Concurrent METATEM represents a more course-g...
متن کامل